Power domains - PDFSEARCH.IO - Document Search Engine

Power domains
Results: 24

#	Item
21	Domain Theory for Concurrency —New Categorical Foundations EPSRC Research Grant Application Case for support Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-03-03 06:09:38 Logic Denotational semantics Semantics of programming languages Power domains Operational semantics Sheaf Π-calculus Concurrency Semantics Theoretical computer science Logic in computer science Mathematics
22	c The Author[removed]Published by Oxford University Press on behalf of The British Computer Society. All rights reserved. For Permissions, please email: [removed] doi:[removed]comjnl/bxh052 Eve Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-06-23 10:59:08 Applied mathematics Symmetry Model theory Logic in computer science Petri net Denotational semantics Causal sets Equivalence relation Power domains Mathematics Theoretical computer science Models of computation
23	Tutorial section Entrez: Making use of its power Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English - Date: 2007-01-19 10:55:18 Biological databases Protein structure Computational phylogenetics Protein domains Entrez Conserved Domain Database BLAST Sequence alignment STING Science Bioinformatics Biology
24	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-05-29 09:57:10 Fixed points Mathematical structures Domain theory Denotational semantics Power domains Completeness Complete partial order Function Lambda calculus Mathematics Order theory Models of computation